Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
11	Tutorial on Universal Algebra, Mal’cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:59:18 Mathematical structures Universal algebra Abstract algebra Algebraic structures Mathematical logic Algebra Variety Boolean algebra F-algebra Structure Boolean algebras canonically defined Heyting algebra
12	Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:22 Algebra Mathematics Abstract algebra Boolean algebra Algebraic logic Algebraic structures Lattice theory Algebra over a field Heyting algebra Complete Boolean algebra
13	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:46 Mathematics Algebra Abstract algebra Algebraic logic Mathematical logic Fuzzy logic Boolean algebra Algebraic structures Residuated lattice Relation algebra Variety Binary relation
14	An Abstract Algebraic Logic view on Judgment Aggregation? Mar´ıa Esteban1 , Alessandra Palmigiano2,3 , and Zhiguang Zhao2 1 2 Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2015-08-19 07:08:34
15	Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic
16	Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-24 12:54:29 Algebra Mathematics Abstract algebra Algebraic logic Lattice theory Algebraic structures Fuzzy logic Adjoint functors Boolean algebra Heyting algebra Universal property MV-algebra
17	Specifying and Verifying   Concurrent  Algorithms with   Histories and Subjectivity memoria software v3.qxd Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-04-16 09:10:05 Algebra Mathematics Abstract algebra Semigroup theory Algebraic structures Mathematical logic Category theory Monoid Algorithm Concurrent algorithm
18	J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2008-01-31 05:33:25 Algebra Mathematics Abstract algebra Universal algebra Mathematical structures Mathematical logic Algebraic structures Magma Sigma-algebra Structure F-algebra Model theory
19	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2015-05-01 04:08:35 Algebra Mathematics Abstract algebra Algebraic logic Algebraic structures Boolean algebra Mathematical logic Semigroup theory Relation algebra Monoid Residuated Boolean algebra Heyting algebra
20	CMCSInfinitary Howe’s Method Paul Blain Levy 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:17 Theoretical computer science Algebraic topology Philosophical logic Deduction Entailment Metalogic Preorder Bisimulation Sheaf Mathematics Logic Abstract algebra

UPDATE